Orion: Shortest Path Estimation for Large Social Graphs Xiaohan Zhao, Alessandra Sala, Christo Wilson, Haitao Zheng and Ben Y. Zhao Department of Computer Science, UC Santa Barbara, USA {xiaohanzhao, alessandra, bowlin,

Source URL: www.cs.ucsb.edu

• Graph theory
• Mathematics
• Discrete mathematics
• Network theory
• Networks
• Network analysis
• Edsger W. Dijkstra
• Centrality
• Small-world network
• Shortest path problem
• Graph
• Breadth-first search

Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl|thiemann|psk}@informatik.rwth-aa

Source URL: www-i2.informatik.rwth-aachen.de

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Rewriting
• Termination analysis
• International Conference on Rewriting Techniques and Applications
• Algorithm
• Dependency graph
• Path ordering
• Polynomial

Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1

Source URL: www-i2.informatik.rwth-aachen.de

• Mathematical analysis
• Mathematics
• Concurrent computing
• Liveness
• Measure theory
• Safety
• Path ordering
• Lp space
• Connection

High-Productivity and High-Performance Analysis of Filtered Semantic Graphs Aydın Buluç1∗ , Erika Duriakova2 , Armando Fox4 , John R. Gilbert3 , Shoaib Kamil4,5∗ , Adam Lugowski3∗ , Leonid Oliker1 , Samuel Willia

Source URL: gauss.cs.ucsb.edu

• Graph theory
• Mathematics
• Discrete mathematics
• Shortest path problem
• Semiring
• Graph
• Adjacency list
• Breadth-first search

Computer Networks–421 www.elsevier.com/locate/comnet An analysis of convergence delay in path vector routing protocols q Dan Pei

Source URL: www.cs.arizona.edu

Pasadena Bikeway Analysis and Feasibility Study Working Group Presentation City of Pasadena June 24, 2014

Source URL: www.pas-csc.org

• Transportation planning
• Segregated cycle facilities
• Bicycle boulevard
• Long Beach
• California
• Coyote Creek bicycle path
• Cycling in Toronto
• Transport
• Land transport
• Road transport

gCOMBINE 1.1 A graphical user interface to perform structure-based Comparative Binding Energy (COMBINE) analysis USER GUIDE

Source URL: farmamol.uah.es

• Compilers
• Computer file formats
• Cygwin
• Red Hat
• System administration
• Library
• Dynamic-link library
• Folder
• Path
• Software
• System software
• Computing

Solution sheet High Throughput Sequencing Methods Bioinformatics Leipzig WS 13/14 Solution sheet

Source URL: www.bioinf.uni-leipzig.de

• Suffix tree
• Suffix array
• Burrows–Wheeler transform
• Substring
• Eulerian path
• Subsequence
• De Bruijn
• Sequence assembly
• Mathematics
• Mathematical analysis
• Computing

Lecture notes for “Analysis of Algorithms”: Dynamic All-Pairs Shortest Paths Lecturer: Uri Zwick DecemberFunction insert-edges(Eins )

Source URL: www.cs.tau.ac.il

• Littelmann path model
• Representation theory
• Homotopy theory
• Algebraic topology
• Lie groups

Poster: R-D ROID: In-depth Application Vetting for Android with Path-sensitive Value Analysis Michael Backes∗ , Sven Bugiel† , Erik Derr† , Sebastian Gerling† and Christian Hammer† ∗ CISPA,

Source URL: www.ieee-security.org